-
1 доказательство теорем
Русско-английский словарь по электронике > доказательство теорем
-
2 доказательство теорем
Русско-английский словарь по радиоэлектронике > доказательство теорем
-
3 dokazivanje teorema
• theorem proving -
4 доказательство теорем
-
5 доказательство теорем
Русско-английский словарь по нефти и газу > доказательство теорем
-
6 доказательство теорем
-
7 доказательство теорем
Русско-английский словарь по информационным технологиям > доказательство теорем
-
8 доказательство теорем
доказательство теорем
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство теорем
-
9 teorético
• theorem• theorem proving• theoretical• theoretical depreciation -
10 de gabinete
• theorem proving• theoretical depreciation -
11 доказательство теоремы
theorem proving мат.Русско-английский научно-технический словарь Масловского > доказательство теоремы
-
12 процесс доказательства теоремы
Русско-английский научно-технический словарь Масловского > процесс доказательства теоремы
-
13 система доказательства теоремы
Русско-английский научно-технический словарь Масловского > система доказательства теоремы
-
14 эвристика доказательства теоремы
Русско-английский научно-технический словарь Масловского > эвристика доказательства теоремы
-
15 teorema
m.theorem.* * *1 theorem* * *SM theorem* * *masculino theorem* * *= construct, theorem.Ex. Often they use rather fancy words, such as 'theoretical models' or ' constructs' or 'paradigms' to describe what are, very frequently, no more than hypothetical ideas or categorisations which have little empirical evidence to back them up.Ex. A program is currently being developed to prove this application of the theorem.----* demostración de teoremas = theorem proving.* teorema de Baye = Baye's theorem.* teorema de Pitágoras, el = Pythagorean theorem, the.* * *masculino theorem* * *= construct, theorem.Ex: Often they use rather fancy words, such as 'theoretical models' or ' constructs' or 'paradigms' to describe what are, very frequently, no more than hypothetical ideas or categorisations which have little empirical evidence to back them up.
Ex: A program is currently being developed to prove this application of the theorem.* demostración de teoremas = theorem proving.* teorema de Baye = Baye's theorem.* teorema de Pitágoras, el = Pythagorean theorem, the.* * *theoremel teorema de Pitágoras Pythagoras' theorem* * *
teorema sustantivo masculino theorem
el teorema de Pitágoras, the Pythagoras theorem
' teorema' also found in these entries:
Spanish:
demostración
- demostrar
- enunciar
English:
theorem
* * *teorema nmtheoremel teorema de Pitágoras Pythagoras' theorem* * *m theorem* * *teorema nm: theorem -
16 demostración de teoremas
(n.) = theorem provingEx. Automated reasoning or theorem proving essentially amounts to solving search problems.* * *(n.) = theorem provingEx: Automated reasoning or theorem proving essentially amounts to solving search problems.
-
17 demostración
f.1 demonstration, proof.2 display, show, demonstration, demo.3 public demonstration, mutiny, subversive assembly of demonstrators.4 illustration, explanation, demonstration.* * *1 (gen) demonstration2 (manifestación) show, display3 MATEMÁTICAS proof* * *noun f.2) show, display* * *SF1) (=comprobación) [de ejemplo, producto] demonstration; [de teorema, teoría] proofdemostración comercial — commercial exhibition, trade exhibition
2) (=manifestación externa) [de cariño, fuerza] show; [de amistad] gesture; [de cólera] display* * *a) ( de teorema) proofb) (de poder, aptitudes) demonstrationgrandes demostraciones de cariño — a great show o display of affection
c) (de producto, método) demonstration* * *= demonstration, manifestation, substantiation, tangible evidence, demo, reassurance, showroom demonstration, visual explanation.Ex. Steinhagen conducted database searching demonstrations for information professionals and set the wheels in motion for the establishment of the country's first demonstration center of compact disc databases.Ex. The concepts introduced by the colon: (colon) may be manifestations of either Personality, Matter or Energy facets within a given compound.Ex. Written substantiation of this belief, from a wide variety of points of view, has become plentiful in the 1970s.Ex. The chairwoman of the board had decided that as part of the screening process those who had successfully survived the initial winnowing should furnish the board with tangible evidence of how they might perform on a specific assignment.Ex. Shareware, public domain software, and demos can legally be copied and distributed.Ex. Such reassurance becomes particularly important if the inquirer has not sampled the file, either in a printed format or in browsing online.Ex. While this may not be precisely the same application, it will still be a `real' situation, handling `real' data, and it will give a more accurate picture than a simple showroom demonstration.Ex. Perhaps the most famous and certainly one of the oldest visual explanations in mathematics is the visual proof of the Pythagorean theorem.----* CD-ROM de demostración = CD sampler.* demostración del hecho de que = evidence of the fact that.* demostración de programa = software demo.* demostración de software = software demo.* demostración de teoremas = theorem proving.* demostración técnica = technical presentation.* disco de demostración = demonstration disc.* hacer una demostración = give + demonstration.* perfecta demostración = object lesson.* * *a) ( de teorema) proofb) (de poder, aptitudes) demonstrationgrandes demostraciones de cariño — a great show o display of affection
c) (de producto, método) demonstration* * *= demonstration, manifestation, substantiation, tangible evidence, demo, reassurance, showroom demonstration, visual explanation.Ex: Steinhagen conducted database searching demonstrations for information professionals and set the wheels in motion for the establishment of the country's first demonstration center of compact disc databases.
Ex: The concepts introduced by the colon: (colon) may be manifestations of either Personality, Matter or Energy facets within a given compound.Ex: Written substantiation of this belief, from a wide variety of points of view, has become plentiful in the 1970s.Ex: The chairwoman of the board had decided that as part of the screening process those who had successfully survived the initial winnowing should furnish the board with tangible evidence of how they might perform on a specific assignment.Ex: Shareware, public domain software, and demos can legally be copied and distributed.Ex: Such reassurance becomes particularly important if the inquirer has not sampled the file, either in a printed format or in browsing online.Ex: While this may not be precisely the same application, it will still be a `real' situation, handling `real' data, and it will give a more accurate picture than a simple showroom demonstration.Ex: Perhaps the most famous and certainly one of the oldest visual explanations in mathematics is the visual proof of the Pythagorean theorem.* CD-ROM de demostración = CD sampler.* demostración del hecho de que = evidence of the fact that.* demostración de programa = software demo.* demostración de software = software demo.* demostración de teoremas = theorem proving.* demostración técnica = technical presentation.* disco de demostración = demonstration disc.* hacer una demostración = give + demonstration.* perfecta demostración = object lesson.* * *1 (de un teorema) proof2 (de poder, aptitudes) demonstrationlo recibieron con grandes demostraciones de cariño they welcomed him with a great show o display of affectionhicieron una demostración de sus habilidades artísticas they demonstrated their artistic ability3 (de un producto, método) demonstration* * *
demostración sustantivo femenino
demonstration;
( de teorema) proof
demostración sustantivo femenino
1 demonstration
una demostración de fuerza/afecto, a show of strength/ affection
2 (de una teoría) proof
' demostración' also found in these entries:
Spanish:
despliegue
- exhibición
- muestra
- prueba
English:
demo
- demonstration
- impartiality
- managerial
- show
- demonstrate
- display
* * *demostración nf1. [muestra] demonstration;una demostración de cariño a demonstration of affection2. [exhibición] display;la policía hizo una demostración de fuerza ante los manifestantes the police made a show of force in front of the demonstrators3. [del funcionamiento] demonstration;hacer una demostración [de cómo funciona algo] to demonstrate, to give a demonstration;me hizo una demostración de cómo preparar una paella he showed me how to make a paella4. [matemática] proof* * *f1 proof2 de método demonstration* * ** * *1. (enseñanza) demonstration2. (muestra) show / display -
18 автоматическое доказательство теорем
1) Linguistics: automatic theoreme-proving2) Programming: automatic theorem proving, theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)Универсальный русско-английский словарь > автоматическое доказательство теорем
-
19 доказательство теорем методом резолюций
доказательство теорем методом резолюций
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > доказательство теорем методом резолюций
-
20 доказательство
с.1) ( подтверждение) proof, evidence; ( довод) argumentв доказа́тельство (рд.) — in witness (of); (in order) to prove (d)
ещё одно́ я́ркое доказа́тельство (рд.) — another striking demonstration (of); another eloquent testimony (to)
приводи́ть доказа́тельства — adduce / furnish evidence, give / show proofs
2) мат. provingдоказа́тельство теоре́мы — theorem proving
••веще́ственные доказа́тельства — material evidence
См. также в других словарях:
Theorem Proving in Higher-Order Logics — (TPHOLs) is an annual international academic conference on the topic of automated reasoning in higher order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in… … Wikipedia
Theorem Proving System — The Theorem Proving System (TPS) is an automated theorem proving system for first order and higher order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
International Workshop on First-Order Theorem Proving — The International Workshop on First Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first order logic and related fields. FTP workshops are less formal than many conferences, but more … Wikipedia
Interactive theorem proving — is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man machine collaboration. This involves some sort of proof assistant: an interactive proof editor, or other interface, with which a human… … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
Cook–Levin theorem — In computational complexity theory, the Cook–Levin theorem, also known as Cook s theorem, states that the Boolean satisfiability problem is NP complete. That is, any problem in NP can be reduced in polynomial time by a deterministic Turing… … Wikipedia
Isabelle (theorem prover) — Infobox Software name = Isabelle caption = collapsible = author = developer = released = latest release version = latest release date = latest maintenance version = latest maintenance date = latest preview version = latest preview date =… … Wikipedia
HOL theorem prover family — HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharingsimilar logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language … Wikipedia
Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… … Wikipedia
Otter (theorem prover) — Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois. Otter was the first widely distributed, high performance theorem prover for first order logic, and it pioneered a number of important… … Wikipedia